CMTEX8.360[GF,SYS] - www.SailDart.org

perm filename CMTEX8.360[GF,SYS] blob sn#803302 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#≠FD ↓∧α1λ↓@DpβS!T`α`t`↓AdXα↓dX↓A dPα↓ TP↓A@TP↓A@DP↓A@DP↓A@DP↓A TPα`dPλ∩aλαSP ↓Q(@_¬∧↓8π↓*PP)C* (αA
⊂ ∧j⊂_∧↓
 ∧j_↓B*_↓α	p ↓B	p_∧A	p_¬ip_¬i` ¬i`_¬@i`_¬@i`_¬@iP ¬↓	P ¬iP(∧↓	P0β↓	A&`⊂X&`08&``λ%A	0_%@i0_%↓	 _%i _"Qq⊂
∧α εSα∧Xλ∩`0⊂βR@@⊂β∩@0_β∪`tx↓@ 4x↓@ 4x↓@ 4p∧∪@0λα∪ @⊂↓S 0_↓S 0_↓S@_↓S  (↓⊃(@@λDbq8α↓)P8&Aj⊂ (A
 _)↓
  )@j0_)A
0 )↓*⊂8(α	p ↓ip ↓i` ↓A	P α@i@ βi0 βA	  ∧↓	 _¬↓	 ⊂¬AλT ∧DBAHλ↓ @0↓S! ↓S↓ ⊂α∩`@_α@4Pα↓ 0λα∩@00↓@ 4P↓A@0λ↓T`e_β∀`e α∃E ↓U5_α∀`5_↓T`5_↓T@5⊂↓T@5⊂↓T 5λ↓T 4("αAq_¬a((α)pP'A	p_'@ip 'AIp8'α)P ↓↓	@ αi0 α@i0_βi  βi _β@i _β@i _β↓	 _βi _βi  αi X%B)P0"Q↓qλ
¬bp@α∀↓∧x¬∪@@ α∪@00α∪@@(α∪ P0↓S@08↓T@⊂(↓S`p⊂↓S!d`πR`P0αR`@@α∩@@H↓R@0P↓R@0Hα∩@0H↓R@0@α∩@08α∩@@(α∩a4`∧S@T("⊂"!_E`p (A
⊂ (@ ⊂(@ ⊂(@ ⊂(@ ⊂'@` _'@` _'@` _'@` _'@` _'`@_'`@_'`@_'αI`P&C	P_βiP_βiP_βi00α↓I @↓α	00α↓HT !∧"!8@!DPπ∩adh↓A@4h↓A`4h↓A`4h↓A`4h↓A`4h↓A@Dh↓A Dh¬S!4hε∪ 00α∪ 08↓S 0@↓S 0@↓S 0@↓S 0@↓S 08α∪ 00α∩atPπRaD("⊂b↓⊂E``(↓@I``&C)@(α↓)@ β↓	0 βA	0_∧@i0_∧@i  %i _%i _%i _%↓	0_∧@i0_∧@i0 ∧i@ β↓	@(α↓	PX'α*("QλAλ	¬bpε∩ATPπ∪0(αS08↓S08α∪0@↓S0@↓S0H↓S0H↓S0H↓S0H↓S0H↓S0H↓S0H↓S0H↓S0@↓S0@↓S08α∪08↓S0(αRAdPεRAD("⊃"!_E`⊃%∧)1&@a_&@a_&@a_&@a_&@iP_αiP_αiPP&BIPP&@`@_&@`@_&@iP_&@a⊂_&@a⊂_&@a⊂_&@a⊂_%D)!⊂%D(T #∧B18@"∀P	∩b∀h↓B 4h↓B 4h↓B 4h↓B 4h↓S 0 ↓S 0 ↓S!$h¬∪!$h↓A4h↓A4h↓S 4h↓S 4h↓S 4X∧∩A$X∧⊃(D8λDbq8β↓0⊂'αiP`&↓ 0(&↓P %Ap_%@a_%↓↓_%↓	 _%i _%``8%``@%``8%↓↓_%↓↓_%@a_%A` &↓P &↓ 0(&C	`X(↓ _"Q	↓ 
¬bpλβAtP∧@A∀XβAth↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4hπ∪!dhπ∪ 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓R`p βRA⊂⊂∧R`p βQ(DHπDBq8C) x%C*_(j_(j_(j_(j_(j_(j_(j_(j_(i0h%βi0h"Q	!	¬bp0∧Sa5∧U5 ↓U5 ↓U5 ↓U5 ↓U5 ↓U5 ↓U5 ↓U4X↓↓`4Pα↓@4Pα↓ DX¬Ra$hβ⊃(DXλDBq8↓`@0%↓`08%↓`@0&`` &`P &`P_&`@_&`0 &`  &` _&`⊂ &α	@H&↓ ⊂_&↓0_&↓0_&`P_&`P_&``_&``_&`p_%↓`@0%↓`@0%↓`@0"Q	A⊂	Ebp∧RA$P∧S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 0H↓S 0H↓S 0H↓S 0H↓RB$P	∩B$("∪"!_E`0β↓I 8α↓i 8α↓i@_@ @λ@i@_@@ ⊂@i@_@@ ⊂@i@_@@ ⊂@i@_@@ ⊂@i@_@@ ⊂@i@_@@ ⊂@i@_@@ ⊂@i@_↓  λ↓i@_↓  λ↓i@_↓↓ _&`  ↓i@_↓@@0_&a_&a_&a_&a_&a_%↓`@8%↓`@8%↓`@8"Q	a 
¬bpλβ↓ tP∧a∀XβAth↓@  (↓S 0λ↓↓ 4h↓@  (↓S 0λ↓A4h↓@@  ↓S 0⊂↓↓4h↓@@0_↓S 0⊂↓@`4h↓@` _↓S 0_↓`4h↓@`0⊂↓S 0_↓@@4h↓A ⊂↓S 0 ↓@4h↓A0λ↓S 0(↓ 4h↓A  λ↓S 0(↓ 4XβATP∧@`TXβA D("∪b↓⊂E`0P&β	0p%A` %↓↓ %a _%a _%a _%a _%a _%a _%a _%a _%a _%a _%a _%a _%a _%a _%↓↓ %A` %CI@`&BHT (∧"!8@!DPπ∩adh↓A@Dh↓A`4h↓B4h↓B4h↓B4h↓B4h↓B4h↓A`4h↓A@Dhε∪!4h¬∪ 4h↓S 4h↓S 4h↓R`tP∧R`t("∀"↓⊂∞E`0P&β	0p%A` %↓↓ %a _%a _%a _%a _%a _%a _%a _%a _%a _%a _%a _%a _%`@_↓@i _α↓ _%↓0 A	0 ↓Ai0p&β	PP*j@ *@jP +j`_"Q
! 
¬bpλ¬RAdXπ∪ 0(α∪ 00α∪ 08↓S 08↓S 08↓S 00α∪ 0(α∪!Dh¬S!4h↓A 4h↓A@4h↓A@4h↓A@4h↓A@4h↓A@0_S 00↓@@4h↓A@0⊂↓R`p(β∩A⊂ β∩`p0α⊃(E_λ∧Bq8α↓@0⊂&β)0p%AP(%↓p %a⊂_%a⊂_%i  %A)@@&BJ@*↓*` +↓
p_%a _%a _%↓↓ %↓ ` %βi h%@00"Q
A⊂	EbpλλRB$P	∩@0(↓A4P↓A 0 ↓R@0(↓A4P↓A 0 ↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓Sa∀p¬Sa∀("∃"A E`⊂8α↓i H↓α)08α↓iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧iP_∧i`_βi` α↓	pP(α
  "Q
a⊂	EbpβAtPβAtPβAt`↓B4`α↓@Dh↓A@4h↓A@4h↓A@4h↓A@4p↓A4p↓A4p↓A4p↓A4x↓↓$x↓@@4x↓@@4x↓@@5↓@%↓@%↓@%↓@%β∀ Eλα⊃(E8
¬αq8A@`0%α@@%A@`0&a _&a _&a _&a _&a _&@A ⊂&@a_&@`  ↓iP_A@⊂_&@`⊂0@iP_@@ ⊂@iP_@@ ⊂@iP_@@ ⊂@iP_@@ ⊂@i`⊂@@ ⊂@I`⊂@@ ⊂@I`⊂@@ ⊂@I`⊂@@ ⊂@I` α↓	` α↓	p_αhT ,∧B18@ `_β∩`p⊂βR``_β∪ @ ↓S@0_↓S@@⊂↓S`0λ↓S`uαTUλα∀ 5λα∀Uβ∪`0λ↓S`0⊂↓S@0_↓S@0 ↓S @ ↓S 00↓R`` β∩A⊂∧∩`` β⊃(EH	∧bq8↓`@8%α08%↓`@8&@`` &AP_'`@ '`@_'@`0_'@` _(`⊂_(`⊂_(A*⊂()j _)j _)j _)j _(↓ipH(↓hT -∧α!8@!tPλ∩B∧P↓B 4P↓BDP↓B4P↓A`5_α∀`5⊂↓T Eλ↓T4xα∪`4p↓S Dh↓A`4`↓B4Xαα4X↓B 4Pλ∩B∧Pλ⊃(Fλ	¬α↓↓Ai0X%C	0 αA	@⊂β@jP_(AiPX%B ⊂_%↓ `_%a_%a_%`p %↓P(%D)@@↓↓IP(αA(T 1∧B18@dPβ∩@dh↓S 4h↓S 4h↓@`Dh↓@!∧hεS P αS @0α∪ 0@α∪ 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S @8α∪ @0α∪ P αS!Thε∪@ ⊂αQ(F_πDB↓β↓I`P&β	0(α↓	0 βI  %i _%i _%↓	  ∧i0 β@i00α↓	@`'α*("QA⊂	EbpHβ∀`e_β∃@50↓U@50↓S`P⊂↓S!D`εR`P αR`@0α∩@@@↓R@0H↓R@0H↓R@0H↓R@0H↓R@0H↓R@@8α∩`@0α∩`P αSα∧h∧ dxα`d("→!q⊂λ∧P(&B)@X&`P %@`p_%@a_%a⊂_%βi x%βi _%@a_%Ap_&↓P &Bi`H(↓(T 3∧α⊃8B@U⊂∧∀!∃α@E↓A%↓T4Xπ∩AtPπT5↓T5↓T5↓T5↓T5↓T4XεRAtXεQ(F8	∧c!β↓0 'βIPx&@`@_↓I@ α↓	@_βi@_βi@_βi@ α↓	P_αiPP&B)P⊂A	P⊂&BIPh&βi0 ∧↓	  ¬↓	 _εi _εi _εi  ¬↓	0(β↓)@p&C
0"Q
↓⊂	Ebpβ∩@dPβ∪ 4h↓S 4h↓S 0⊂αS!4hε∪ P_α∪ @(↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓RA⊂_β∩A⊂⊂βRA⊂_β⊃(FHπDC↓@βIp 'A
⊂#AH%α) H(j_(j_(j_(j_(j_(i p%βi p"Q
 `πλ#H↓∀@E⊂α∀`$8αa∀`¬∪!∃_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`4X↓↓ 4Pα↓4P¬∩a∀`β⊃(FX	Dbq8AI 8%AI`_'i`_'i`_↓α)`_BI`_↓α)`_α↓	`_↓A	`_↓↓	`_A	`@'α	`H'↓  '`@_'`P_'`P %B08%α 08%B08"Q
Aλ	Ebpλ∧RA$X∧T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓RatPλRat("≠"Q(λ∧(↓`@_%α`⊂0%∧i@ ↓A0_&↓0 ↓@i@_α`@_&`@_αi@_α`@_&`@_αi@_α`@_&`@_αi@_α`@_&`@_αi@_α`@_%↓` (↓↓) 8↓↓  (%↓` (↓↓(T 7∧B1λ`⊂αRAdPπS P_α∪ @(↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓S 00↓RA⊂_β∩A⊂⊂βRA⊂_β⊃(Fxλ∧B↓αAIPP&β	@ α↓	0_∧i0_∧i _¬i _¬i _¬i _¬i _¬i0_∧i0 β↓	@ α↓	@`&BIp0"Q∞↓⊂	F"β`DPβ!∧Pλ∪ P αS @0α∪ 0@α∪ 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S @8α∪ @0α∪ P αS!Thε∪ 0⊂αS 4h↓S 4h↓S 4h↓RA∀P∧RA∀("≤"1(DP ↓@iP@@i@h%A @(%A` %↓p %a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%↓p %@`p %A @(&β)P@@ip ↓@j`_+j`_+j`_+j0H)αj0H"Q∞!⊂	Dαλβ@`TP∧!∀XλS``_α∪`P(↓∪`Dxα∪`4x↓S`4x↓S`4x↓S`4Xε∩AdXε⊃(G_π∧"↓α↓@⊂⊂%C	 h%↓P %`p_%`p_%↓)0H&B* (%`p %a_%↓p_%↓ P %β) `%@ 0"Q∞AλE"P0↓∪`4x↓S`4x↓RadPπRAtx↓S`4x↓S`4x↓S`4x↓A@∀x↓A 4x↓A 4x↓A 4xα`E∧T↓¬⊂α⊃(G(	∧b↓↓@00%↓@00%↓@00&@``_&@``_&@``_&@``_&@``_&@``_&@``_&@``_&@``_&@`P &@`P &Ci`p'A  0"Q∞a⊂	Dαλβ↓dP∧A∧Xβ↓dh↓A@4h↓A@4p↓A4p↓A4p↓A4p↓A4x↓@@4x↓@@4x↓@@5↓@%↓@%β∀ Eλα⊃(G8	∧b↓α @%α @%α @&a_&a_&a_&a_&`  ↓iP⊂↓↓ ⊂&@@  ↓IP⊂↓  λ↓IP⊂↓  λ↓IP_@  λ@iP_@  λ@iP(↓↓)` ↓↓	`_αhT <∧B1λ `_βR`p⊂βR``_βS@@⊂α∪`0⊂↓TeαT Eλα∀ Eβ∪`0⊂↓S`0⊂↓S@0 ↓R``_βRA⊂∧∩``_βQ(GH	∧c⊃A`00%α @%A`00&@``_&AP_'`@_'`@_'@`0_'@`0_'@` _(@ _(`⊂_(`⊂⊂(@@⊂⊂(A*⊂ )j _(A
⊂_(@i0 A	0@%Ai@0&↓λT =∧"!λAtXλ∩b∧X↓BDX↓A`DX↓A@E_α∀ UαS`Tpα∪ @8↓S@@↓R`@H↓RB∀PλRB∀("α↓⊂E`` 'α	PP&↓@ &``_%@a_%@a_%@a_%a _%a _%a _%a _%a _%a _%a _%a _%@a_%@a_%A` &``_&↓@ &BI`@(↓λT _CB⊃8A`%↓S`Dxα∪@TX∧∩a∧X↓@@5↓T5↓T5↓T5↓T5↓T5↓T5↓RaTXεRaT("B↓⊂E`P0&BI0h%↓`(%↓p %↓↓ %↓↓⊂_%@A _+@jp_+↓
P *@j@ )A
⊂((↓	p '↓	P βi@ β@i0x%∧	0x"Qε1	¬bp(β∪↓4XεR`@(αR`@0α∩`@8↓U@5(α∃ E α∪a∧xβSa¬(α∃@50α∃`4Pαα 4PααDPααDPα↓`DXεS↓4pβQ(C 	∧bq8∧↓*⊂0(@@⊂_(`⊂_(`⊂_'@` _'↓ _'`0_&A0_&@`@_&↓@_%AP_%@``_%↓`_%∧I!⊂%∧J@_*j@_*jX(αjX"QεQ	¬bp⊂ε∩aTXεR`4X↓R`4X↓R`4X↓R`0λβ∩aDXεR`@0α∪ @α∃@E8↓R` P↓R@@H↓R@@@α∩@@8α∩@P(αRaT`¬∪@d("
B↓⊂Ea('B)`X&A 0 &↓P &`p⊂%A	0_%↓	 _↓α	 _BI x%↓ ` %↓↓ %↓↓⊂_%a _%↓↓⊂_%@a⊂_%@a %Ap_&↓@(&Bi`H(↓(T ≠Dα!@4Pλ∩B∧Pλ∩@0@α∩@08α∃5_↓T`5⊂↓T@5λ↓T 5λ↓T5↓T5↓S`4x↓S`4x↓S`4x↓S`4("∞α↓⊂E`P0&BI@`%A` %↓↓ %a _%a _%a _%@a_&↓  (&BI`@&β	0 β↓	0_∧i _¬i _¬i _¬i _¬i0_∧i0(α↓)@`&BIp0"Qπ⊃	¬bp(β∪!∀`ε∩`P α∩`@0α∩@@@↓R@0H↓R@0Hα∩@0P↓R@0Hα∩@@@α∩`@0αRat`¬ 4h∧@50α∃@5(α∪ 8α∩`@(α∩`@ α∩a4`∧S@T("	α↓⊂∂εa⊂(@j⊂_(@ip0&BI@h%A _A	  ↓@`  %`@_↓↓	 _α`  %`@_↓↓	  ↓@i0(@i@@&BJ@(B
⊂_↓↓	0⊂α`  %↓0_↓@i  ↓@`0_%`@_↓@i  ↓@`  %A _A	0h&BIp0(@j⊂_)HT ∪∧B18A@4pβ∪@dh↓@@4h↓@@4h↓@@4h↓@@4h↓@@0λβ∪ 0λ↓@@dhβ@@dhβ`4pα↓4hα↓4`αA4Xβ@@4X↓@ 0⊂↓R@0_↓@ 4P↓@`dP↓AP_R@0(↓@`4X↓@`P⊂↓Rb∧`β@ dhα↓ 4("∂b↓⊂E`@@&β	0p%↓p(%↓↓⊂_%↓↓⊂_%@A()AJ ((A* (j_(j_(hp βIp 'A
⊂"Q∧⊂ ε¬bpλ↓∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@D8α $Pα∩@DX↓⊃(B_	∧bq8β@@⊂'A  'A  'A  'A  %D	!⊂%∧I!⊂'↓  '↓  '↓  '↓  '↓  '↓  %∧I!⊂%∧I1&A  &A  &A  &A  '@@⊂"Q∧Q⊂	GC0⊂↓B$XαA@DPβA DPβATP↓@ 0 α∩@0λ↓ADP↓@ 0_αR@0λ↓@`DPβ@@TPβ@@DXα@`D`↓@`U⊂α∀@EλαT EαTEα∪`Txα∪`@ ↓S@P_αS@@_βS P_↓@ 4hα↓0λ↓S @ ↓@ 4`αA0λ↓S@(βS@0αS  @↓Q(B8ββ!A8↓I0 %A)@ &@iP_&@i@ &i0 %↓	 _%HT ∀αb↓x
B5λα∪`Tpα∪@4hα∪D`↓R`DX↓R`4Pα∩@4P↓R@4P↓R@4P↓R@4P↓R@DX↓R`4Xα∪4`α∪ Dp↓S@DxαT E⊂↓Q(BH¬CcqXi  %A)P 'i` 'A
_(↓
⊂_(@j⊂ )j _)j _)j _)j _(A
⊂_(@j (ip '↓	`_&A	0(%↓	 _"Q¬!	∧α@8↓∀ 5λ↓∩`⊂(↓↓ ∀Pα` _α∩@P⊂↓@TXπ∪A¬α∪A∧Xπ∩@P⊂↓@TPα` _α∩`⊂(↓↓ ∃λ↓∀ 5λ↓⊃(BXλ∧B⊃ β@J (↓
 (↓
 (↓	0p%∧	!%CJ (↓
 (↓
 (↓
⊂⊂"Q¬@8πα@@⊂↓R`TXβ∩`d`αS@4hα∪DXαR@TX↓⊃(BpαC @ @i (%↓) (%@hT ↔Dα!p
C %0α∃@E(αU E αUE_αT`E⊂αT@E⊂α∀ Uλα∀Uα∪`Txα∪@Tpα∪@DhαS D`αSDXαR`DPαR@DPα∩`$("∞@Phλ∧⊂_%↓) (%↓)0_#A`⊂_%↓) (%↓)0_"Qπ00εEB⊂↓R`TXαR`T`↓Q`p⊂↓R`TXαR`T`α∪ 4`α∪4PαR@DX↓⊃(Chλ∧A1λCI!%∧	!#A↓%∧	!%CHT  ∧"18A`Tx∧SA4hαAD`α`tXαA∀XαA$X↓@@@⊂αR@@λα↓DP↓@@@ α∩@0⊂↓A@4P↓@@00↓R@0⊂↓A@4P↓@@00↓R@0⊂α↓DPα @ α∩`0⊂α@DXαA∧XαA∧`α`DhαA DpεSa%λβ⊃(EX¬DcaXαi X%αi _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%αi X%αhT .BaAp
@↓4P¬RA5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓RA4P¬RA4("_`hεε@@⊂&@i@ %A	0_%↓	 _%i _%↓	 (%A	@⊂"Q¬Q	aPλπ∩B∧Pλ∩ad("βα↓⊂λE@p⊂(↓
 (↓
 (↓
 %CI!%∧	0p(↓
 (↓	0p%∧	!%CHT εDα!λ
↓@Dp∧∪!$`α tXα@0λα∩`0_↓@@4P↓A0_↓RB∧Pλ∩B∧P↓A0_↓R@0 ↓@`4X↓@`0⊂↓R`@⊂↓@ D`α th¬∪A¬α⊃(A0λ∧B⊃ β↓	`@&BI@ α↓	0(α↓)00↓↓I _B⊂_%` 0↓i _↓A0_%`0 ↓@i _↓↓@ _%`⊂@@i00↓↓I0(α↓)@ α↓	PP'α
 "Qα1	¬α@λ↓α@$PααDPααDPααDPααDPααDPααDPααDPααDPααDPααDPααDPααDPααDPααDPααDPβ↓dXπ∪↓Dh¬∪`d("∧B↓⊂
¬P0&BI@`%CI 0α↓I  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	0⊂¬HT α∧α! 
↓`%α∀Dxβ∪`dxβ∪A∧p∧∪A∧h¬∪ @⊂α∪P⊂αS@ α∪@ α∩`P αR`@0α∩`@0α∩@P0αR@@@α∩@@@α∩` P↓⊃(Axλ∧BA @A ⊂%↓↓ %↓↓ %↓ `(%A` %A` %A @(&↓@ &↓@ &↓  (&A  &BI`@'α	`@'AIp0'AJ (↓
⊂⊂"Q⊃⊂	Ebp@↓∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∩`  α↓$Xα@@⊂α∩`Pλα Thε∪A%β∀ Eλα∀@$("αb!_Ea⊂(A
⊂ (↓I`P&C	0(A⊂(%A  ↓↓	0⊂α↓@⊂(A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ )HT ∧B0h	↓$h↓S 4h↓S4Xλ∩B$P	∩b∧`↓S 4h↓S 4p↓⊃(AH	∧aQ⊂εJ`_+j`_+@i1%∧I!⊂%D
p_+j`_+j`⊂"Qαq⊂	Fc⊂ ↓∪ 4h↓S 4`↓Rb∧P	∩B$Xλ∪4h↓S 4h↓S@%0↓∃@50↓U@58↓Rb∧P	∩B$Xλ∃`50↓U@50↓U@$("∧α↓⊂
E@PP'β	Ph&β)0(%A	0 %↓)  %↓	  %↓	  %↓	 (%A	0 %A)@h&C)``'BHT λDα!(!$Pε∩ATXεUU(α∃ E(αU@E0α∃@E0α∃@E0α∃ U(α∃ E αRaTPεRADX¬⊃(@0π∧"Q0αB	`P&Bi@X%A)0 %A	 (%↓	 h%βI p%β)  %↓)0 %A	00&αiPX'αJ8"QαA 
¬bpλ↓β@$PαβDPαβDPαB@TXαα@DX	∪α∧`λ∪α∧hα↓@DhαATpα↓Dpα↓Dpα@@Txα@Dx¬∀↓¬∧∀↓¬λβ∀ e⊂α∀@E_↓⊃(A(λ∧Bq8CI!%∧	0x+↓
` +↓
` +↓
` &βI0x%Ci@p+↓
` +↓
` +↓
` %Ci!%∧	0p"QQ	β!`λπ∩B∧Pλ∩au0α∃@E0α∃@E0α∃@E0α∃@E0α∃`$("∂α↓⊂
EAP⊂+↓
@0)AJ⊂8(↓ip0&Ai@0%AI 0%↓I00&↓IP8'AJ8(Aj00*↓J` +@HT ∨∧α!( $Pα∩@dXβ∪thβS`eβT@e_β∃e β∀`e⊂β∀txβ∪ t`βR`dPβ∩@DX↓⊃(0␈x␈␈␈p α/x␈␈␈Ox␈␈␈pλπ∩B∧Pλ∩ad("εB↓⊂
ε! ⊂)A
0 )↓*  )↓
  (A)0p%∧	!%∧
 (↓
 'A)!%∧	!%CI` '↓	` &A)P &A	`⊂"QβA	πβh↓∃@E β∀`e⊂β∀txβ∪ t`βR`dPβ∩@dXβ∪dhβS`eβ∀ u_β∃e(αU`$8↓@!dPλ∩B∧Xπ⊃(Ahλ∧CA@@I  %↓I00&↓IP8'AJ8(Aj00*↓J@0)AJ 0(↓ip0'↓I@8%AI 0%↓)0⊂#@`⊂p%∧	!%CHT ∂∧α!λ
!dPλ∩B∧Xπ⊃`0λπ∩B∧Pλ∩ad8↓@!dPλ∩B∧Xπ⊃(E`λ∧CaX@I  %↓	 (%A	0(&↓	@(&A	P('↓	` '↓)p 'A* (↓*⊂ (A*  )↓
 ()A
0(*↓
@(*A
P(+↓
` +@HT >↓↓Ap
@ $Pα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩`$("Phαβ@⊂_%↓) (%↓)0_"Qβ1 
∧bPH↓∀@Eλβ∀↓∧x¬∪@P⊂αS P αSP0αR`P@αR@PPαR@PPαR`P@αSP0αS P αS@P⊂αSa%∧∀ e⊂α∀`$("≡b↓⊂∂εa0()Aj⊂H(A
⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_'A) H%↓i H'A*⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(A
⊂H)AjP("Q∂Q	πC0β∩A∧P¬∀Eλ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T U⊂∧∃e⊂∧∀ Uλ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓TDP¬∩A∧Pβ⊃(B⊂π∧!1@↓!λ%@``_%↓` %@``_%@``_%@``_%@``_%@``_%@``_%@``_%@``_%@``_"Q↓a⊂	Dα_α↓D`β@ dXλ∩`0_α@@4P↓A@ ↓R@0 α↓4P↓A@ ↓R@0 α↓4P↓A@ ↓R@0 α↓4P↓A@ ↓R@0 α↓4P↓A@ ↓R`0⊂α@`4Xλ∪`λβS @ α⊃(Gxλ∧D↓8¬@j@(*↓J08)@`⊂_)@`⊂_)@`⊂_)↓
 _)j _)j _(A
⊂_(@j⊂_(@j⊂_(↓
_(j_(j_'A	 _↓i _↓i _↓i _A	 8%AI@_"Q∧∧("↔AAαE`P⊂&AI@@%↓  (%↓@ %@!λ"Q∂``λ↓αp_↓@`$`α@ DPε∩@@λαR` _↓Q=q4YVp:~,fH2\D∧_&UλU@wGl6x2~-f89Xmε(6Y$¬ 2V∧ε(<≥Vp2→,B Th4H${aF07[NF00XlV⊂<]←_;@|α_π⊂7h<P9@OX≠@OX≠␈␈␈x␈
␈␈␈x{
⎇@↓(α⊂@∧⊂`{"P∧ ↓π~←0↓¬ @@αλ}`_
@↓λ∧3=@A(α⊂@βD8{↓"P∧ ↓π←←0β¬ @@α∂⊃↑`8
@↓λ∧l⎇A↓(α⊂@⊃P{α"P∧ ↓,?0¬¬ @@αm≡`X
@↓λ∧↓h=AA(α⊂@β-`{β"P∧ ↓ε`␈0π¬ @@α⊃λ>`x
@↓λ∧⊂⎇B↓(α⊂@β↑{∧"P∧ ↓πB?0	¬ @@α
⎇≡a_
@↓λ∧↓XP⎇BA(α⊂@βgH{¬"P∧ ↓πXo0¬ @@α
T↑a8
@↓λ∧↓hP⎇C↓(α⊂@βUX{ε"P∧ ↓π/o0
¬ @@α∂j≡aX
@↓λ∧αλ∞⎇CA(α⊂@β}({π"P∧ ↓λ∧/0∂¬ @@α⊂↔}ax
@↓λ∧↓`G=D↓(α⊂@∧-({λ"P∧ ↓¬W←0⊃¬ @@α⊂z↑b_
@↓λ∧↓0w=DA(α⊂@αZ{	"P∧ ↓¬h←0∪¬ @@α¬}b8
@↓λ∧↓8c=E↓(α⊂@α}8{
"P∧ ↓ε¬o0∃¬ @@α≥>bX
@↓λ∧↓@[=EA(α⊂@β∞λ{"P∧ ↓εY←0↔¬ @@α?↑bx
@↓λ∧↓Hπ⎇F↓(α⊂@α+ {"P∧ ↓∧a␈0→¬ @@α	R≡c_
@↓λ∧↓_F⎇FA(α⊂@α=⊂{
"P∧ ↓¬∧∨0≠¬ @@α
~≡c8
@↓λ∧↓ ]⎇G↓(α⊂@αO@{∞"P∧ ↓¬)←0≥¬ @@αU≡cX
@↓λ∧↓H8⎇GA(α⊂@βr{∂"P∧ ↓ε3/0∨¬ @@α∂T}cx
@↓λ∧↓0B=H↓(α⊂@β≠_{⊂"P∧ ↓K∂0!¬ @@α↓,}d_
@↓λ∧_∧=HA(α⊂@5({⊃"P∧ ↓v∂0#¬ @@α↓␈}d8
@↓λ∧ #=I↓(α⊂@Ih{∩"P∧ ↓↓∨o0%¬ @@ααM>dX
@↓λ∧(9=IA(α⊂@]({∪"P∧ ↓↓BO0'¬ @@αβ*>dx
@↓λ∧8~=J↓(α⊂@xx{∀"P∧ ↓↓{∂0)¬ @@α∧⊃>e_
@↓λ∧@S=JA(α⊂@↓∂λ{∃"P∧ ↓α'∂0+¬ @@α∧f>e8
@↓λ∧H⎇=K↓(α⊂@↓(8{⊗"P∧ ↓α[o0-¬ @@α¬J}eX
@↓λ∧↓P⊃=KA(α⊂@∧λ⊂{↔"P∧ ↓εL␈0/¬ @@α⊃7≡ex
@↓λ∧↓xC=L↓(α⊂@β*`{_"P∧ ↓αn/01¬ @@α¬k}f_
@↓λ∧`↓=LA(α⊂@↓C({→"P∧ ↓β⊃∂03¬ @@αε/}f8
@↓λ∧`⎇=M↓(α⊂@↓UH{~"P∧ ↓β5o05¬ @@αεx>fX
@↓λ∧p∃=MA(α⊂@↓gh{≠"P∧ ↓βVO07¬ @@απF}fx
@↓λ∧x1=N↓(α⊂@↓zλ{≤"P∧ ↓β␈∂09¬ @@αλ∀>g_
@↓λ∧↓A=NA(α⊂@αh{≥"P∧ ↓∧∨/0;¬ @@αλP>g8
@↓λ∧↓λC=O↓(α⊂@α≡8{≡"P∧ ↓∧Do0=¬ @@α	∨}gX
@↓λ∧αλ0=OA(α⊂@∧8{∨"P∧ ↓λ4←0?¬ @@α⊃=>gx
@↓λ∧α⊂?> ⊃U⊂=xow{⎇x